interface Functor <FA, FB, A, B> Source #
Functor type-class
Parameters
| type | FA | Source functor type |
| type | FB | Target functor type |
| type | A | Source functor bound value type |
| type | B | Target functor bound value type |
Methods
method FB map <FunctorAB, FA, FB, A, B> (FA ma, Func<A, B> f) Source #
where
FunctorAB : Functor<FA, FB, A, B>
Projection from one value to another
Parameters
| type | FunctorAB | Functor instance from A to B |
| type | FA | Source functor type |
| type | FB | Target functor type |
| type | A | Source functor bound value type |
| type | B | Target functor bound value type |
| param | ma | Functor value to map from |
| param | f | Projection function |
| returns | Mapped functor | |